An Architecture-Led Safety Analysis Method
Identifieur interne : 000095 ( Main/Exploration ); précédent : 000094; suivant : 000096An Architecture-Led Safety Analysis Method
Auteurs : Peter Feiler [États-Unis] ; David Gluch [États-Unis] ; John Mcgregor [États-Unis]Source :
English descriptors
Abstract
Safety-critical systems require specific development and evaluation activities in the software development life cycle to ensure that the product is safe. Some of these activities are aggregated into comprehensive safety engineering practices, which are standardized within an industry, such as Aerospace Recommended Practice (ARP) 4761 in the aircraft industry. These techniques focus on individual component failures and reliability. More recent techniques such as the Systems-Theoretic Process Analysis (STPA) go beyond reliability of individual components to consider the interactions among the components. In this paper we present the Architecture-Led Safety Analysis (ALSA) method that is part of the Architecture-Led Safety Engineering practice. ALSA combines the development and analysis of at least a partial architecture model using notations such as the Architecture Analysis and Design Language, its Error Model Annex, and existing ARP 4761 and ARP 4754A practices such as Functional Hazard Assessment, Preliminary System Safety Assessment, and System Safety Assessment as well as the emerging technique of STPA. This work contributes an illustration of using ALSA to analyze a Full-Authority Digital Engine Controller. The method is supported by the Open Source Architectural Tool Environment and has been piloted on an industrial-strength example.
Url:
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 000077
- to stream Hal, to step Curation: 000077
- to stream Hal, to step Checkpoint: 000094
- to stream Main, to step Merge: 000095
- to stream Main, to step Curation: 000095
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">An Architecture-Led Safety Analysis Method</title><author><name sortKey="Feiler, Peter" sort="Feiler, Peter" uniqKey="Feiler P" first="Peter" last="Feiler">Peter Feiler</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-74311" status="VALID"> <orgName>Software Engineering Institute [Pittsburgh]</orgName> <orgName type="acronym">SEI</orgName> <desc> <address> <addrLine> Carnegie Mellon University 4500 Fifth Avenue Pittsburgh, PA 15213-2612</addrLine> <country key="US"></country> </address> </desc> <listRelation> <relation active="#struct-67135" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID"> <orgName>Carnegie Mellon University [Pittsburgh]</orgName> <orgName type="acronym">CMU</orgName> <desc> <address> <addrLine>5000 Forbes Ave, Pittsburgh, PA 15213</addrLine> <country key="US"></country> </address> <ref type="url">http://www.cmu.edu/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>États-Unis</country></affiliation></author><author><name sortKey="Gluch, David" sort="Gluch, David" uniqKey="Gluch D" first="David" last="Gluch">David Gluch</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-74311" status="VALID"> <orgName>Software Engineering Institute [Pittsburgh]</orgName> <orgName type="acronym">SEI</orgName> <desc> <address> <addrLine> Carnegie Mellon University 4500 Fifth Avenue Pittsburgh, PA 15213-2612</addrLine> <country key="US"></country> </address> </desc> <listRelation> <relation active="#struct-67135" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID"> <orgName>Carnegie Mellon University [Pittsburgh]</orgName> <orgName type="acronym">CMU</orgName> <desc> <address> <addrLine>5000 Forbes Ave, Pittsburgh, PA 15213</addrLine> <country key="US"></country> </address> <ref type="url">http://www.cmu.edu/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>États-Unis</country></affiliation></author><author><name sortKey="Mcgregor, John" sort="Mcgregor, John" uniqKey="Mcgregor J" first="John" last="Mcgregor">John Mcgregor</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-74311" status="VALID"> <orgName>Software Engineering Institute [Pittsburgh]</orgName> <orgName type="acronym">SEI</orgName> <desc> <address> <addrLine> Carnegie Mellon University 4500 Fifth Avenue Pittsburgh, PA 15213-2612</addrLine> <country key="US"></country> </address> </desc> <listRelation> <relation active="#struct-67135" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID"> <orgName>Carnegie Mellon University [Pittsburgh]</orgName> <orgName type="acronym">CMU</orgName> <desc> <address> <addrLine>5000 Forbes Ave, Pittsburgh, PA 15213</addrLine> <country key="US"></country> </address> <ref type="url">http://www.cmu.edu/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>États-Unis</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-01292290</idno><idno type="halId">hal-01292290</idno><idno type="halUri">https://hal.archives-ouvertes.fr/hal-01292290</idno><idno type="url">https://hal.archives-ouvertes.fr/hal-01292290</idno><date when="2016-01-27">2016-01-27</date><idno type="wicri:Area/Hal/Corpus">000077</idno><idno type="wicri:Area/Hal/Curation">000077</idno><idno type="wicri:Area/Hal/Checkpoint">000094</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000094</idno><idno type="wicri:Area/Main/Merge">000095</idno><idno type="wicri:Area/Main/Curation">000095</idno><idno type="wicri:Area/Main/Exploration">000095</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">An Architecture-Led Safety Analysis Method</title><author><name sortKey="Feiler, Peter" sort="Feiler, Peter" uniqKey="Feiler P" first="Peter" last="Feiler">Peter Feiler</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-74311" status="VALID"> <orgName>Software Engineering Institute [Pittsburgh]</orgName> <orgName type="acronym">SEI</orgName> <desc> <address> <addrLine> Carnegie Mellon University 4500 Fifth Avenue Pittsburgh, PA 15213-2612</addrLine> <country key="US"></country> </address> </desc> <listRelation> <relation active="#struct-67135" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID"> <orgName>Carnegie Mellon University [Pittsburgh]</orgName> <orgName type="acronym">CMU</orgName> <desc> <address> <addrLine>5000 Forbes Ave, Pittsburgh, PA 15213</addrLine> <country key="US"></country> </address> <ref type="url">http://www.cmu.edu/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>États-Unis</country></affiliation></author><author><name sortKey="Gluch, David" sort="Gluch, David" uniqKey="Gluch D" first="David" last="Gluch">David Gluch</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-74311" status="VALID"> <orgName>Software Engineering Institute [Pittsburgh]</orgName> <orgName type="acronym">SEI</orgName> <desc> <address> <addrLine> Carnegie Mellon University 4500 Fifth Avenue Pittsburgh, PA 15213-2612</addrLine> <country key="US"></country> </address> </desc> <listRelation> <relation active="#struct-67135" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID"> <orgName>Carnegie Mellon University [Pittsburgh]</orgName> <orgName type="acronym">CMU</orgName> <desc> <address> <addrLine>5000 Forbes Ave, Pittsburgh, PA 15213</addrLine> <country key="US"></country> </address> <ref type="url">http://www.cmu.edu/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>États-Unis</country></affiliation></author><author><name sortKey="Mcgregor, John" sort="Mcgregor, John" uniqKey="Mcgregor J" first="John" last="Mcgregor">John Mcgregor</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-74311" status="VALID"> <orgName>Software Engineering Institute [Pittsburgh]</orgName> <orgName type="acronym">SEI</orgName> <desc> <address> <addrLine> Carnegie Mellon University 4500 Fifth Avenue Pittsburgh, PA 15213-2612</addrLine> <country key="US"></country> </address> </desc> <listRelation> <relation active="#struct-67135" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID"> <orgName>Carnegie Mellon University [Pittsburgh]</orgName> <orgName type="acronym">CMU</orgName> <desc> <address> <addrLine>5000 Forbes Ave, Pittsburgh, PA 15213</addrLine> <country key="US"></country> </address> <ref type="url">http://www.cmu.edu/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>États-Unis</country></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>architecture-led</term><term>error model</term><term>safety analysis</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Safety-critical systems require specific development and evaluation activities in the software development life cycle to ensure that the product is safe. Some of these activities are aggregated into comprehensive safety engineering practices, which are standardized within an industry, such as Aerospace Recommended Practice (ARP) 4761 in the aircraft industry. These techniques focus on individual component failures and reliability. More recent techniques such as the Systems-Theoretic Process Analysis (STPA) go beyond reliability of individual components to consider the interactions among the components. In this paper we present the Architecture-Led Safety Analysis (ALSA) method that is part of the Architecture-Led Safety Engineering practice. ALSA combines the development and analysis of at least a partial architecture model using notations such as the Architecture Analysis and Design Language, its Error Model Annex, and existing ARP 4761 and ARP 4754A practices such as Functional Hazard Assessment, Preliminary System Safety Assessment, and System Safety Assessment as well as the emerging technique of STPA. This work contributes an illustration of using ALSA to analyze a Full-Authority Digital Engine Controller. The method is supported by the Open Source Architectural Tool Environment and has been piloted on an industrial-strength example.</div></front></TEI><affiliations><list><country><li>États-Unis</li></country></list><tree><country name="États-Unis"><noRegion><name sortKey="Feiler, Peter" sort="Feiler, Peter" uniqKey="Feiler P" first="Peter" last="Feiler">Peter Feiler</name></noRegion><name sortKey="Gluch, David" sort="Gluch, David" uniqKey="Gluch D" first="David" last="Gluch">David Gluch</name><name sortKey="Mcgregor, John" sort="Mcgregor, John" uniqKey="Mcgregor J" first="John" last="Mcgregor">John Mcgregor</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000095 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000095 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Amérique
|area= PittsburghV1
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:hal-01292290
|texte= An Architecture-Led Safety Analysis Method
}}
| This area was generated with Dilib version V0.6.38. |  |